../src/gmpy2.pxd